Skip to main content
Scour
Discover
Docs
Login
Sign Up
Discover
About
Docs
Changelog
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Constraint Programming
🧩 Constraint Programming
SAT Solvers, Z3, SMT, Logic Programming
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
40
posts in
31.3
ms
🔢
algo
John D. Cook
·
5d
5 days ago
Writing
Prolog
with ChatGPT
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Writing Prolog with ChatGPT
📊
Algorithms
Nature
·
2d
2 days ago
Evidence of scaling advantage on an NP-complete problem with enhanced quantum
solvers
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Evidence of scaling advantage on an NP-complete problem with enhanced quantum solvers
💬
Prompt Engineering
arxiv.org
·
2d
2 days ago
Analyzing the Narration Gap in
LLM-Solver
Loops
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Analyzing the Narration Gap in LLM-Solver Loops
🐍
Python
GitHub
·
5d
5 days ago
CPMpy/cpmpy:
Constraint
Programming
and
Modeling
library in Python, based on numpy, with direct solver access.
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for CPMpy/cpmpy: Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
🌐
Open Source
FOSS Post
·
21h
21 hours ago
Meet Ali Abdulghani, a Blind
Programmer
Working in the field of Open Source
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Meet Ali Abdulghani, a Blind Programmer Working in the field of Open Source
☕
Coffee Brewing
World Coffee Portal
·
2d
2 days ago
Hagen onboards
Prolog
Coffee
Co-founder
for new Director role
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Hagen onboards Prolog Coffee Co-founder for new Director role
🧪
Testing
williballenthin.com
·
6d
6 days ago
IDA Plugin Updates on 2026-06-15
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for IDA Plugin Updates on 2026-06-15
Less-relevant results
🐧
Linux
unixprogram.com
·
15h
15 hours ago
Unix
Programming
Covers
5 stories
See all stories this covers
including
debian.org - 77.0 kb
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Unix Programming
📝
Markdown
thelatexlab.com
·
23h
23 hours ago
DOI to BibTeX converter - doesn't lowercase your acronyms or choke on ampersands
Discussed on
DEV
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for DOI to BibTeX converter - doesn't lowercase your acronyms or choke on ampersands
📦
Linux cgroups v2
DEV Community
·
1d
1 day ago
Homebrew 6.0 sandbox: what the systemd confinement actually does
Discussed on
DEV
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Homebrew 6.0 sandbox: what the systemd confinement actually does
💬
Prompt Engineering
deepclause.substack.com
·
4d
4 days ago
How to make small
models
punch way above their weight with DeepClause
Discussed on
Substack
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for How to make small models punch way above their weight with DeepClause
🧮
SMT Solvers
John D. Cook
·
11h
11 hours ago
All pieces on a 6 by 5 board
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for All pieces on a 6 by 5 board
🧮
Algebraic Effects
Stephen Diehl
·
1d
1 day ago
Prism: An Impure Functional Language With Typed Effects
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Prism: An Impure Functional Language With Typed Effects
λ
Functional Programming
rntz.net
·
5d
5 days ago
Evaluation order and nontermination in query languages
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Evaluation order and nontermination in query languages
🌐
Network Protocols
MakeUseOf
·
1d
1 day ago
My new router never goes online until I'
ve
changed these 6 settings
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for My new router never goes online until I've changed these 6 settings
💬
Prompt Engineering
arxiv.org
·
5d
5 days ago
PrologMCP
: A Standardized Prolog Tool Interface for LLM Agents
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for PrologMCP: A Standardized Prolog Tool Interface for LLM Agents
🔐
Cryptography
Frank DENIS Blog
·
5d
5 days ago
Feeding a PRF its own tail
Covers
Fast-key-erasure random-number generators
Discussed on
Lobsters
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Feeding a PRF its own tail
📝
NLP
Red Hat Developer Blog
·
5d
5 days ago
The evolution of agentic AI and text-to-SQL
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The evolution of agentic AI and text-to-SQL
🔬
Static Analysis
github.blog
·
5d
5 days ago
GitHub Copilot CLI for Beginners: Overview of common slash commands
Covers
GitHub Copilot CLI
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for GitHub Copilot CLI for Beginners: Overview of common slash commands
🛡️
AI Security
Tech Xplore
·
5d
5 days ago
AI robots can go rogue: A researcher on how easily it happens
Covers
AI research takes a backseat to profits as Silicon Valley prioritizes products over safety, experts say
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for AI robots can go rogue: A researcher on how easily it happens
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Discover
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help
Like
Save
Not for me
Report